CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 23 of 23 Results
1.
Teaching and Learning Formal Methods
Teaching and Learning Formal Methods by Dean, C. Neville, Hinchey, ... ISBN: 9780123490407 List Price: $112.00

OUT OF STOCK

See Availability on Amazon
2.
Formal Approaches to Agent-Based Systems Second International Workshop, Faabs 2002, Greenbel...
Formal Approaches to Agent-Based Systems Second International Workshop, Faabs 2002, Greenbel... by Hinchey, Michael G. ISBN: 9783540406655 List Price: $58.00
$52.33 (Save 9%)
3.
Formal Approaches to Agent-based Systems Third International Workshop, Faabs 2004, Greenbelt...
Formal Approaches to Agent-based Systems Third International Workshop, Faabs 2004, Greenbelt... by Hinchey, Michael G., Rash, ... ISBN: 9783540244226 List Price: $69.95
$52.33 (Save 25%)
4.
Formal Methods and Software Engineering
Formal Methods and Software Engineering by Hinchey, Michael G., Larron... ISBN: 9783540766483 List Price: $79.95
$51.31 (Save 35%)
5.
Zum '95 The Z Formal Specification Notation 9th International Conference of Z Users Limeric...
Zum '95 The Z Formal Specification Notation 9th International Conference of Z Users Limeric... by Bowen, Jonathan P., Hinchey... ISBN: 9783540602712 List Price: $102.00
$103.17
6.
Innovative Concepts for Autonomic and Agent-based Systems
Innovative Concepts for Autonomic and Agent-based Systems by Hinchey, Michael G. ISBN: 9783540692652 List Price: $74.95
$46.53 (Save 37%)
7.
Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice by Hinchey, Michael G., Bowen,... ISBN: 9781852336400 List Price: $129.00
$103.86 (Save 19%)
8.
High-integrity System Specific.+design
High-integrity System Specific.+design by Hinchey, Michael G., Bowen,... ISBN: 9783540762263 List Price: $142.00
$51.31 (Save 63%)
9.
2nd International Conference on Formal Engineering Methods (Icfem '98
2nd International Conference on Formal Engineering Methods (Icfem '98 by Staples, John, Hinchey, Mic... ISBN: 9780818691980 List Price: $120.00

OUT OF STOCK

See Availability on Amazon
10.
Concurrent Systems: Formal Development in CSP - Michael G. Hinchey - Paperback
Concurrent Systems: Formal Development in CSP - Michael G. Hinchey - Paperback by Hinchey, Michael G., Jarvis... ISBN: 9780077076498 List Price: $40.00

OUT OF STOCK

See Availability on Amazon
11.
Second International Conference on Formal Engineering Methods : Proceedings : December 9-11,...
Second International Conference on Formal Engineering Methods : Proceedings : December 9-11,... by Staples, John, Hinchey, Mic... ISBN: 9780818692000

OUT OF STOCK

See Availability on Amazon
12.
First IEEE International Conference Conference [sic] on Formal Engineering Methods : Proceed...
First IEEE International Conference Conference [sic] on Formal Engineering Methods : Proceed... by Hinchey, Michael G., Liu, S... ISBN: 9780818680045

OUT OF STOCK

See Availability on Amazon
13.
Applications of Formal Methods
Applications of Formal Methods by J. P. Bowen, Michael G. Hin... ISBN: 9781599400624 List Price: $71.00

OUT OF STOCK

See Availability on Amazon
14.
Formal Methods and Software Engineering
Formal Methods and Software Engineering by Butler, Michael, Hinchey, M... ISBN: 9783540845782 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
15.
High-Integrity System Specification and Design
High-Integrity System Specification and Design by Bowen, Jonathan P., Hinchey... ISBN: 9781447134329 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
16.
Zum'97 : The Z Formal Specification Notation
Zum'97 : The Z Formal Specification Notation by Bowen, Jonathan P., Hinchey... ISBN: 9783662171264 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
17.
Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice by G Hinchey, Michael, P Bowen... ISBN: 9781447105244 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
18.
Zum '98 : The Z Formal Specification Notation
Zum '98 : The Z Formal Specification Notation by Bowen, Jonathan P., Fett, A... ISBN: 9783662177235 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
19.
Formal Approaches to Agent-Based Systems
Formal Approaches to Agent-Based Systems by Hinchey, Michael G., Rash, ... ISBN: 9783662202593 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
20.
Zum '95 : The Z Formal Specification Notation: 9th International Conference of Z Users, Lime...
Zum '95 : The Z Formal Specification Notation: 9th International Conference of Z Users, Lime... by Bowen, Jonathan P., Hinchey... ISBN: 9783662169612 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
21.
Requirements to Design to Code : Towards a Fully Formal Approach to Automatic Code Generation
Requirements to Design to Code : Towards a Fully Formal Approach to Automatic Code Generation by Hinchey, Michael G., Nasa T... ISBN: 9781289254582 List Price: $14.75

OUT OF STOCK

See Availability on Amazon
22.
Applications of Formal Methods - Jonathan P. Bowen - Hardcover
Applications of Formal Methods - Jonathan P. Bowen - Hardcover by Bowen, Jonathan P., Hinchey... ISBN: 9780133669497

OUT OF STOCK

See Availability on Amazon
23.
Formal Engineering Methods (Icfem 2000) 3rd IEEE International Conference
Formal Engineering Methods (Icfem 2000) 3rd IEEE International Conference by Liu, Shaoying, McDermid, Jo... ISBN: 9780769508221 List Price: $135.00

OUT OF STOCK

See Availability on Amazon